Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
851	MXwendler Javascript Interface Description Version 2.3 This document describes the MXWendler (MXW) Javascript Command Interface. You will learn how to control MXwendler through the Javascript interface. We will describe Add to Reading List Source URL: www.mxwendler.net Language: English - Date: 2013-10-10 07:58:03 Software engineering Computer programming Computing Subroutines Cross-platform software Scripting languages JavaScript Web programming Return statement JavaScript syntax
852	Library Generators and Program Optimization María Garzarán and David Padua Department of Computer Science University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-10-11 16:37:23 Software Computing Compiler construction Programming language implementation Compiler Program optimization Numerical software Numerical linear algebra Parallel computing
853	VA Smalltalk Update John O’Keefe Chief Technical Officer Instantiations, Inc. Copyright © 2013 Instantiations, Inc. Add to Reading List Source URL: www.instantiations.com Language: English - Date: 2013-11-20 12:04:58 Software engineering Computing Computer programming Smalltalk Seaside Copyright Web browser Scintilla
854	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
855	Tight Bounds for Clock Synchronization [Extended Abstract] ∗ Christoph Lenzen Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:15:58 Electrical engineering Synchronization Clock signal Clock skew Computing Computer programming Clock synchronization Heap Flow network Distributed computing
856	CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type intintint, whe Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-11 23:17:39 Software engineering Programming language theory Computer programming Procedural programming languages Functional languages C ALGOL 68 INT ML Ordinal date Struct Higher-order function
857	PDF Document Add to Reading List Source URL: dickens.stanford.edu Language: English - Date: 2002-09-18 19:51:51 Obfuscation Computer programming Linguistics Index of standards articles Standards Software engineering English orthography
858	Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Theoretical computer science Logic programming Computer programming Programming paradigms Automated theorem proving Type theory Prolog Unification Substitution Interpreter Term
859	Lecture 7: Matrix Transpose William Gropp www.cs.illinois.edu/~wgropp Simple Example: Matrix Transpose Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:16:32 Algebra Software engineering Computing Cache Computer memory Linear algebra Matrices Computer architecture Transpose Locality of reference Matrix Array programming
860	Lecture 19: OpenMP and General Synchronization William Gropp www.cs.illinois.edu/~wgropp Not Everything is a “do loop” Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-02-17 16:52:23 Computer programming Computing C Software engineering Data types Parallel computing Pointer OpenMP Automatic parallelization Struct Typedef

UPDATE